Optimal. Leaf size=195 \[ \frac {1}{2} b \left (12 a^2 A b+A b^3+8 a^3 B+4 a b^2 B\right ) x+\frac {a^3 (4 A b+a B) \tanh ^{-1}(\sin (c+d x))}{d}-\frac {b \left (6 a^3 A-12 a A b^2-17 a^2 b B-2 b^3 B\right ) \sin (c+d x)}{3 d}-\frac {b^2 \left (6 a^2 A-3 A b^2-8 a b B\right ) \cos (c+d x) \sin (c+d x)}{6 d}-\frac {b (3 a A-b B) (a+b \cos (c+d x))^2 \sin (c+d x)}{3 d}+\frac {a A (a+b \cos (c+d x))^3 \tan (c+d x)}{d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.37, antiderivative size = 195, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 6, integrand size = 31, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.194, Rules used = {3068, 3128,
3112, 3102, 2814, 3855} \begin {gather*} \frac {a^3 (a B+4 A b) \tanh ^{-1}(\sin (c+d x))}{d}-\frac {b^2 \left (6 a^2 A-8 a b B-3 A b^2\right ) \sin (c+d x) \cos (c+d x)}{6 d}-\frac {b \left (6 a^3 A-17 a^2 b B-12 a A b^2-2 b^3 B\right ) \sin (c+d x)}{3 d}+\frac {1}{2} b x \left (8 a^3 B+12 a^2 A b+4 a b^2 B+A b^3\right )-\frac {b (3 a A-b B) \sin (c+d x) (a+b \cos (c+d x))^2}{3 d}+\frac {a A \tan (c+d x) (a+b \cos (c+d x))^3}{d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2814
Rule 3068
Rule 3102
Rule 3112
Rule 3128
Rule 3855
Rubi steps
\begin {align*} \int (a+b \cos (c+d x))^4 (A+B \cos (c+d x)) \sec ^2(c+d x) \, dx &=\frac {a A (a+b \cos (c+d x))^3 \tan (c+d x)}{d}+\int (a+b \cos (c+d x))^2 \left (a (4 A b+a B)+b (A b+2 a B) \cos (c+d x)-b (3 a A-b B) \cos ^2(c+d x)\right ) \sec (c+d x) \, dx\\ &=-\frac {b (3 a A-b B) (a+b \cos (c+d x))^2 \sin (c+d x)}{3 d}+\frac {a A (a+b \cos (c+d x))^3 \tan (c+d x)}{d}+\frac {1}{3} \int (a+b \cos (c+d x)) \left (3 a^2 (4 A b+a B)+b \left (9 a A b+9 a^2 B+2 b^2 B\right ) \cos (c+d x)-b \left (6 a^2 A-3 A b^2-8 a b B\right ) \cos ^2(c+d x)\right ) \sec (c+d x) \, dx\\ &=-\frac {b^2 \left (6 a^2 A-3 A b^2-8 a b B\right ) \cos (c+d x) \sin (c+d x)}{6 d}-\frac {b (3 a A-b B) (a+b \cos (c+d x))^2 \sin (c+d x)}{3 d}+\frac {a A (a+b \cos (c+d x))^3 \tan (c+d x)}{d}+\frac {1}{6} \int \left (6 a^3 (4 A b+a B)+3 b \left (12 a^2 A b+A b^3+8 a^3 B+4 a b^2 B\right ) \cos (c+d x)-2 b \left (6 a^3 A-12 a A b^2-17 a^2 b B-2 b^3 B\right ) \cos ^2(c+d x)\right ) \sec (c+d x) \, dx\\ &=-\frac {b \left (6 a^3 A-12 a A b^2-17 a^2 b B-2 b^3 B\right ) \sin (c+d x)}{3 d}-\frac {b^2 \left (6 a^2 A-3 A b^2-8 a b B\right ) \cos (c+d x) \sin (c+d x)}{6 d}-\frac {b (3 a A-b B) (a+b \cos (c+d x))^2 \sin (c+d x)}{3 d}+\frac {a A (a+b \cos (c+d x))^3 \tan (c+d x)}{d}+\frac {1}{6} \int \left (6 a^3 (4 A b+a B)+3 b \left (12 a^2 A b+A b^3+8 a^3 B+4 a b^2 B\right ) \cos (c+d x)\right ) \sec (c+d x) \, dx\\ &=\frac {1}{2} b \left (12 a^2 A b+A b^3+8 a^3 B+4 a b^2 B\right ) x-\frac {b \left (6 a^3 A-12 a A b^2-17 a^2 b B-2 b^3 B\right ) \sin (c+d x)}{3 d}-\frac {b^2 \left (6 a^2 A-3 A b^2-8 a b B\right ) \cos (c+d x) \sin (c+d x)}{6 d}-\frac {b (3 a A-b B) (a+b \cos (c+d x))^2 \sin (c+d x)}{3 d}+\frac {a A (a+b \cos (c+d x))^3 \tan (c+d x)}{d}+\left (a^3 (4 A b+a B)\right ) \int \sec (c+d x) \, dx\\ &=\frac {1}{2} b \left (12 a^2 A b+A b^3+8 a^3 B+4 a b^2 B\right ) x+\frac {a^3 (4 A b+a B) \tanh ^{-1}(\sin (c+d x))}{d}-\frac {b \left (6 a^3 A-12 a A b^2-17 a^2 b B-2 b^3 B\right ) \sin (c+d x)}{3 d}-\frac {b^2 \left (6 a^2 A-3 A b^2-8 a b B\right ) \cos (c+d x) \sin (c+d x)}{6 d}-\frac {b (3 a A-b B) (a+b \cos (c+d x))^2 \sin (c+d x)}{3 d}+\frac {a A (a+b \cos (c+d x))^3 \tan (c+d x)}{d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.71, size = 257, normalized size = 1.32 \begin {gather*} \frac {6 b \left (12 a^2 A b+A b^3+8 a^3 B+4 a b^2 B\right ) (c+d x)-12 a^3 (4 A b+a B) \log \left (\cos \left (\frac {1}{2} (c+d x)\right )-\sin \left (\frac {1}{2} (c+d x)\right )\right )+12 a^3 (4 A b+a B) \log \left (\cos \left (\frac {1}{2} (c+d x)\right )+\sin \left (\frac {1}{2} (c+d x)\right )\right )+\frac {12 a^4 A \sin \left (\frac {1}{2} (c+d x)\right )}{\cos \left (\frac {1}{2} (c+d x)\right )-\sin \left (\frac {1}{2} (c+d x)\right )}+\frac {12 a^4 A \sin \left (\frac {1}{2} (c+d x)\right )}{\cos \left (\frac {1}{2} (c+d x)\right )+\sin \left (\frac {1}{2} (c+d x)\right )}+3 b^2 \left (16 a A b+24 a^2 B+3 b^2 B\right ) \sin (c+d x)+3 b^3 (A b+4 a B) \sin (2 (c+d x))+b^4 B \sin (3 (c+d x))}{12 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.25, size = 189, normalized size = 0.97
method | result | size |
derivativedivides | \(\frac {A \,a^{4} \tan \left (d x +c \right )+a^{4} B \ln \left (\sec \left (d x +c \right )+\tan \left (d x +c \right )\right )+4 A \,a^{3} b \ln \left (\sec \left (d x +c \right )+\tan \left (d x +c \right )\right )+4 B \,a^{3} b \left (d x +c \right )+6 A \,a^{2} b^{2} \left (d x +c \right )+6 B \,a^{2} b^{2} \sin \left (d x +c \right )+4 A a \,b^{3} \sin \left (d x +c \right )+4 B a \,b^{3} \left (\frac {\sin \left (d x +c \right ) \cos \left (d x +c \right )}{2}+\frac {d x}{2}+\frac {c}{2}\right )+A \,b^{4} \left (\frac {\sin \left (d x +c \right ) \cos \left (d x +c \right )}{2}+\frac {d x}{2}+\frac {c}{2}\right )+\frac {B \,b^{4} \left (\cos ^{2}\left (d x +c \right )+2\right ) \sin \left (d x +c \right )}{3}}{d}\) | \(189\) |
default | \(\frac {A \,a^{4} \tan \left (d x +c \right )+a^{4} B \ln \left (\sec \left (d x +c \right )+\tan \left (d x +c \right )\right )+4 A \,a^{3} b \ln \left (\sec \left (d x +c \right )+\tan \left (d x +c \right )\right )+4 B \,a^{3} b \left (d x +c \right )+6 A \,a^{2} b^{2} \left (d x +c \right )+6 B \,a^{2} b^{2} \sin \left (d x +c \right )+4 A a \,b^{3} \sin \left (d x +c \right )+4 B a \,b^{3} \left (\frac {\sin \left (d x +c \right ) \cos \left (d x +c \right )}{2}+\frac {d x}{2}+\frac {c}{2}\right )+A \,b^{4} \left (\frac {\sin \left (d x +c \right ) \cos \left (d x +c \right )}{2}+\frac {d x}{2}+\frac {c}{2}\right )+\frac {B \,b^{4} \left (\cos ^{2}\left (d x +c \right )+2\right ) \sin \left (d x +c \right )}{3}}{d}\) | \(189\) |
risch | \(6 x A \,a^{2} b^{2}+\frac {x A \,b^{4}}{2}+4 x B \,a^{3} b +2 x B a \,b^{3}+\frac {2 i {\mathrm e}^{-i \left (d x +c \right )} A a \,b^{3}}{d}+\frac {i {\mathrm e}^{-2 i \left (d x +c \right )} A \,b^{4}}{8 d}-\frac {3 i {\mathrm e}^{i \left (d x +c \right )} B \,b^{4}}{8 d}-\frac {3 i {\mathrm e}^{i \left (d x +c \right )} B \,a^{2} b^{2}}{d}-\frac {i {\mathrm e}^{2 i \left (d x +c \right )} B a \,b^{3}}{2 d}+\frac {i {\mathrm e}^{-2 i \left (d x +c \right )} B a \,b^{3}}{2 d}-\frac {i {\mathrm e}^{2 i \left (d x +c \right )} A \,b^{4}}{8 d}+\frac {3 i {\mathrm e}^{-i \left (d x +c \right )} B \,a^{2} b^{2}}{d}+\frac {3 i {\mathrm e}^{-i \left (d x +c \right )} B \,b^{4}}{8 d}-\frac {2 i {\mathrm e}^{i \left (d x +c \right )} A a \,b^{3}}{d}+\frac {2 i A \,a^{4}}{d \left ({\mathrm e}^{2 i \left (d x +c \right )}+1\right )}-\frac {4 a^{3} \ln \left ({\mathrm e}^{i \left (d x +c \right )}-i\right ) A b}{d}-\frac {a^{4} \ln \left ({\mathrm e}^{i \left (d x +c \right )}-i\right ) B}{d}+\frac {4 a^{3} \ln \left ({\mathrm e}^{i \left (d x +c \right )}+i\right ) A b}{d}+\frac {a^{4} \ln \left ({\mathrm e}^{i \left (d x +c \right )}+i\right ) B}{d}+\frac {\sin \left (3 d x +3 c \right ) B \,b^{4}}{12 d}\) | \(365\) |
norman | \(\frac {\left (-6 A \,a^{2} b^{2}-\frac {1}{2} A \,b^{4}-4 B \,a^{3} b -2 B a \,b^{3}\right ) x +\left (-30 A \,a^{2} b^{2}-\frac {5}{2} A \,b^{4}-20 B \,a^{3} b -10 B a \,b^{3}\right ) x \left (\tan ^{4}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )+\left (6 A \,a^{2} b^{2}+\frac {1}{2} A \,b^{4}+4 B \,a^{3} b +2 B a \,b^{3}\right ) x \left (\tan ^{12}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )+\left (30 A \,a^{2} b^{2}+\frac {5}{2} A \,b^{4}+20 B \,a^{3} b +10 B a \,b^{3}\right ) x \left (\tan ^{8}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )+\left (-24 A \,a^{2} b^{2}-2 A \,b^{4}-16 B \,a^{3} b -8 B a \,b^{3}\right ) x \left (\tan ^{2}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )+\left (24 A \,a^{2} b^{2}+2 A \,b^{4}+16 B \,a^{3} b +8 B a \,b^{3}\right ) x \left (\tan ^{10}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )-\frac {\left (2 A \,a^{4}-8 A a \,b^{3}+A \,b^{4}-12 B \,a^{2} b^{2}+4 B a \,b^{3}-2 B \,b^{4}\right ) \left (\tan ^{11}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{d}-\frac {\left (2 A \,a^{4}+8 A a \,b^{3}+A \,b^{4}+12 B \,a^{2} b^{2}+4 B a \,b^{3}+2 B \,b^{4}\right ) \tan \left (\frac {d x}{2}+\frac {c}{2}\right )}{d}-\frac {\left (30 A \,a^{4}-72 A a \,b^{3}+3 A \,b^{4}-108 B \,a^{2} b^{2}+12 B a \,b^{3}-10 B \,b^{4}\right ) \left (\tan ^{9}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{3 d}-\frac {2 \left (30 A \,a^{4}-24 A a \,b^{3}-3 A \,b^{4}-36 B \,a^{2} b^{2}-12 B a \,b^{3}-2 B \,b^{4}\right ) \left (\tan ^{7}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{3 d}-\frac {2 \left (30 A \,a^{4}+24 A a \,b^{3}-3 A \,b^{4}+36 B \,a^{2} b^{2}-12 B a \,b^{3}+2 B \,b^{4}\right ) \left (\tan ^{5}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{3 d}-\frac {\left (30 A \,a^{4}+72 A a \,b^{3}+3 A \,b^{4}+108 B \,a^{2} b^{2}+12 B a \,b^{3}+10 B \,b^{4}\right ) \left (\tan ^{3}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{3 d}}{\left (1+\tan ^{2}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )^{5} \left (\tan ^{2}\left (\frac {d x}{2}+\frac {c}{2}\right )-1\right )}+\frac {a^{3} \left (4 A b +a B \right ) \ln \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )}{d}-\frac {a^{3} \left (4 A b +a B \right ) \ln \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )-1\right )}{d}\) | \(680\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.29, size = 197, normalized size = 1.01 \begin {gather*} \frac {48 \, {\left (d x + c\right )} B a^{3} b + 72 \, {\left (d x + c\right )} A a^{2} b^{2} + 12 \, {\left (2 \, d x + 2 \, c + \sin \left (2 \, d x + 2 \, c\right )\right )} B a b^{3} + 3 \, {\left (2 \, d x + 2 \, c + \sin \left (2 \, d x + 2 \, c\right )\right )} A b^{4} - 4 \, {\left (\sin \left (d x + c\right )^{3} - 3 \, \sin \left (d x + c\right )\right )} B b^{4} + 6 \, B a^{4} {\left (\log \left (\sin \left (d x + c\right ) + 1\right ) - \log \left (\sin \left (d x + c\right ) - 1\right )\right )} + 24 \, A a^{3} b {\left (\log \left (\sin \left (d x + c\right ) + 1\right ) - \log \left (\sin \left (d x + c\right ) - 1\right )\right )} + 72 \, B a^{2} b^{2} \sin \left (d x + c\right ) + 48 \, A a b^{3} \sin \left (d x + c\right ) + 12 \, A a^{4} \tan \left (d x + c\right )}{12 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.41, size = 196, normalized size = 1.01 \begin {gather*} \frac {3 \, {\left (8 \, B a^{3} b + 12 \, A a^{2} b^{2} + 4 \, B a b^{3} + A b^{4}\right )} d x \cos \left (d x + c\right ) + 3 \, {\left (B a^{4} + 4 \, A a^{3} b\right )} \cos \left (d x + c\right ) \log \left (\sin \left (d x + c\right ) + 1\right ) - 3 \, {\left (B a^{4} + 4 \, A a^{3} b\right )} \cos \left (d x + c\right ) \log \left (-\sin \left (d x + c\right ) + 1\right ) + {\left (2 \, B b^{4} \cos \left (d x + c\right )^{3} + 6 \, A a^{4} + 3 \, {\left (4 \, B a b^{3} + A b^{4}\right )} \cos \left (d x + c\right )^{2} + 4 \, {\left (9 \, B a^{2} b^{2} + 6 \, A a b^{3} + B b^{4}\right )} \cos \left (d x + c\right )\right )} \sin \left (d x + c\right )}{6 \, d \cos \left (d x + c\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.53, size = 371, normalized size = 1.90 \begin {gather*} -\frac {\frac {12 \, A a^{4} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )}{\tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{2} - 1} - 3 \, {\left (8 \, B a^{3} b + 12 \, A a^{2} b^{2} + 4 \, B a b^{3} + A b^{4}\right )} {\left (d x + c\right )} - 6 \, {\left (B a^{4} + 4 \, A a^{3} b\right )} \log \left ({\left | \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) + 1 \right |}\right ) + 6 \, {\left (B a^{4} + 4 \, A a^{3} b\right )} \log \left ({\left | \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) - 1 \right |}\right ) - \frac {2 \, {\left (36 \, B a^{2} b^{2} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{5} + 24 \, A a b^{3} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{5} - 12 \, B a b^{3} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{5} - 3 \, A b^{4} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{5} + 6 \, B b^{4} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{5} + 72 \, B a^{2} b^{2} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{3} + 48 \, A a b^{3} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{3} + 4 \, B b^{4} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{3} + 36 \, B a^{2} b^{2} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) + 24 \, A a b^{3} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) + 12 \, B a b^{3} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) + 3 \, A b^{4} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) + 6 \, B b^{4} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )\right )}}{{\left (\tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{2} + 1\right )}^{3}}}{6 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 2.27, size = 2522, normalized size = 12.93 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________